Concepts of Behavioral Subtyping and a Sketch of their Extension to Component-Based Systems
نویسندگان
چکیده
Object-oriented systems are able to treat objects indirectly by message passing. This allows them to manipulate objects without knowing their exact runtime type. Behavioral subtyping helps one reason in a modular fashion about such programs. That is, one can reason based on the static types of expressions in a program, provided that static types are upper bounds of the runtime types in a subtyping preorder, and that subtypes satisfy the conditions of behavioral subtyping. We survey various notions of behavioral subtyping proposed in the literature for objectoriented programming. We also sketch a notion of behavioral subtyping for objects in component-based systems, where reasoning about the events that a component can raise is important.
منابع مشابه
A New Similarity Measure Based on Item Proximity and Closeness for Collaborative Filtering Recommendation
Recommender systems utilize information retrieval and machine learning techniques for filtering information and can predict whether a user would like an unseen item. User similarity measurement plays an important role in collaborative filtering based recommender systems. In order to improve accuracy of traditional user based collaborative filtering techniques under new user cold-start problem a...
متن کاملMedical Education in Ancient Persia
Introduction: Historically, education is the prominent part of medical systems of different cultures. It has been surveyed in some cultures. In this study, we tried to uncover educational practices applied and present a sketch of medical education in ancient Persia (from beginning to 637 AD) based on the available evidence. Methods: In this study, old Persian scripts and other written document...
متن کاملA Nonlinear Grayscale Morphological and Unsupervised method for Human Facial Synthesis Based on an Example Image
Human facial generation of example image is used as a requirement for biometric applications for the purpose of identifying individuals. In this paper, face generation consists of three main steps. In the first step, detection of significant lines and edges of the example image are carried out using nonlinear grayscale morphology. Then, hair areas are identified from the face of sample. The fin...
متن کاملThe Mediating Role of Cognitive Emotion Regulation in the Relationship between Brain-Behavioral Systems on Resilience of Patients with Tension Headache
Introduction: Stress tolerance and the existence of a level of physical and genetic vulnerability make a person more susceptible to psychosomatic disorders. One of the psychosomatic disorders that is closely related to stress and psychological pressures is a headache. Therefore, the main purpose of this study was to investigate the relationship between the activity of behavioral brain systems a...
متن کاملA review of agent-based modeling (ABM) concepts and some of its main applications in management science
We live in a very complex world where we face complex phenomena such as social norms and new technologies. To deal with such phenomena, social scientists often use reductionism approach where they reduce them to some lower-lever variables and model the relationships among them through a scheme of equations. This approach that is called equation based modeling (EBM) has some basic weaknesses in ...
متن کامل